[next] [prev] [prev-tail] [tail] [up]

2.2.14 Integrals 1301 to 1400

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 142 230 277 0 516 0 438 225

N.S.

1 1.08 1.76 2.11 0.00 3.94 0.00 3.34 1.72

time (sec)

N/A 0.298 0.563 3.102 0.000 0.283 0.000 0.296 9.219

Problem 1302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) C F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 162 223 294 0 980 0 504 179

N.S.

1 1.13 1.56 2.06 0.00 6.85 0.00 3.52 1.25

time (sec)

N/A 0.317 0.384 2.562 0.000 0.263 0.000 0.295 0.143

Problem 1303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) C F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 162 218 294 0 1083 0 507 183

N.S.

1 1.13 1.52 2.06 0.00 7.57 0.00 3.55 1.28

time (sec)

N/A 0.330 0.606 2.877 0.000 0.277 0.000 0.289 9.215

Problem 1304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 205 260 323 0 1884 0 650 264

N.S.

1 1.19 1.51 1.88 0.00 10.95 0.00 3.78 1.53

time (sec)

N/A 0.380 0.655 2.820 0.000 0.289 0.000 0.302 9.380

Problem 1305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 207 268 323 0 2171 0 646 2280

N.S.

1 1.19 1.54 1.86 0.00 12.48 0.00 3.71 13.10

time (sec)

N/A 0.382 0.692 2.974 0.000 0.287 0.000 0.301 9.526

Problem 1306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 250 298 350 0 3285 0 779 336

N.S.

1 1.23 1.47 1.72 0.00 16.18 0.00 3.84 1.66

time (sec)

N/A 0.478 0.876 2.570 0.000 0.306 0.000 0.309 9.700

Problem 1307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 244 343 432 0 1426 0 753 364

N.S.

1 1.10 1.55 1.95 0.00 6.42 0.00 3.39 1.64

time (sec)

N/A 0.482 1.644 2.789 0.000 0.292 0.000 0.338 9.292

Problem 1308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 242 353 432 0 1029 0 753 966

N.S.

1 1.09 1.59 1.95 0.00 4.64 0.00 3.39 4.35

time (sec)

N/A 0.447 1.857 2.797 0.000 0.287 0.000 0.315 0.219

Problem 1309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 213 292 361 0 853 0 521 264

N.S.

1 1.10 1.51 1.87 0.00 4.42 0.00 2.70 1.37

time (sec)

N/A 0.408 1.596 2.982 0.000 0.388 0.000 0.327 9.276

Problem 1310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 211 298 359 0 552 0 521 720

N.S.

1 1.10 1.56 1.88 0.00 2.89 0.00 2.73 3.77

time (sec)

N/A 0.401 1.486 3.522 0.000 0.376 0.000 0.322 0.215

Problem 1311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 181 257 309 0 543 0 510 215

N.S.

1 1.06 1.51 1.82 0.00 3.19 0.00 3.00 1.26

time (sec)

N/A 0.371 1.222 2.725 0.000 0.370 0.000 0.320 9.462

Problem 1312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 181 263 309 0 696 0 510 309

N.S.

1 1.06 1.55 1.82 0.00 4.09 0.00 3.00 1.82

time (sec)

N/A 0.349 1.112 2.767 0.000 0.381 0.000 0.313 9.413

Problem 1313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 201 267 324 0 1296 0 567 251

N.S.

1 1.13 1.50 1.82 0.00 7.28 0.00 3.19 1.41

time (sec)

N/A 0.376 1.509 2.792 0.000 0.565 0.000 0.316 0.134

Problem 1314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 201 261 324 0 1345 0 567 255

N.S.

1 1.13 1.47 1.82 0.00 7.56 0.00 3.19 1.43

time (sec)

N/A 0.370 1.337 2.949 0.000 0.293 0.000 0.306 9.378

Problem 1315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 220 266 373 0 1980 0 645 320

N.S.

1 1.15 1.39 1.94 0.00 10.31 0.00 3.36 1.67

time (sec)

N/A 0.382 0.929 2.859 0.000 0.280 0.000 0.304 9.575

Problem 1316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 220 272 373 0 1991 0 645 317

N.S.

1 1.15 1.42 1.94 0.00 10.37 0.00 3.36 1.65

time (sec)

N/A 0.416 0.825 2.612 0.000 0.288 0.000 0.294 0.183

Problem 1317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 263 300 355 0 3252 0 813 421

N.S.

1 1.18 1.35 1.59 0.00 14.58 0.00 3.65 1.89

time (sec)

N/A 0.459 1.200 2.702 0.000 0.313 0.000 0.318 9.681

Problem 1318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 265 306 355 0 3517 0 813 3227

N.S.

1 1.18 1.36 1.58 0.00 15.63 0.00 3.61 14.34

time (sec)

N/A 0.446 1.365 2.867 0.000 0.329 0.000 0.313 9.977

Problem 1319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

256 308 355 382 0 4956 0 958 543

N.S.

1 1.20 1.39 1.49 0.00 19.36 0.00 3.74 2.12

time (sec)

N/A 0.512 1.627 3.113 0.000 0.366 0.000 0.338 9.860

Problem 1320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 212 112 118 150 94 0 138 75

N.S.

1 1.16 0.61 0.64 0.82 0.51 0.00 0.75 0.41

time (sec)

N/A 0.431 0.233 3.687 0.306 0.275 0.000 0.295 9.342

Problem 1321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 188 101 109 141 91 0 129 66

N.S.

1 1.11 0.59 0.64 0.83 0.54 0.00 0.76 0.39

time (sec)

N/A 0.388 0.165 2.539 0.274 0.350 0.000 0.292 0.097

Problem 1322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 196 100 109 141 83 0 129 66

N.S.

1 1.17 0.60 0.65 0.84 0.49 0.00 0.77 0.39

time (sec)

N/A 0.393 0.148 2.566 0.277 0.388 0.000 0.289 9.360

Problem 1323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 174 78 99 132 109 0 120 57

N.S.

1 1.11 0.50 0.63 0.84 0.69 0.00 0.76 0.36

time (sec)

N/A 0.356 0.140 2.954 0.276 0.453 0.000 0.288 0.090

Problem 1324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 184 76 99 132 109 0 120 57

N.S.

1 1.17 0.48 0.63 0.84 0.69 0.00 0.76 0.36

time (sec)

N/A 0.363 0.138 2.694 0.272 0.390 0.000 0.284 0.086

Problem 1325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 190 103 109 141 143 0 129 66

N.S.

1 1.06 0.57 0.61 0.78 0.79 0.00 0.72 0.37

time (sec)

N/A 0.372 0.192 2.592 0.270 0.555 0.000 0.287 0.094

Problem 1326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 200 104 109 141 168 0 129 66

N.S.

1 1.11 0.58 0.61 0.78 0.93 0.00 0.72 0.37

time (sec)

N/A 0.384 0.187 2.547 0.315 0.281 0.000 0.283 0.104

Problem 1327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

227 233 155 555 0 199 0 0 0

N.S.

1 1.03 0.68 2.44 0.00 0.88 0.00 0.00 0.00

time (sec)

N/A 0.467 10.265 2.862 0.000 0.089 0.000 0.000 0.000

Problem 1328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 185 110 490 0 121 0 0 0

N.S.

1 1.03 0.61 2.72 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.397 10.087 2.735 0.000 0.089 0.000 0.000 0.000

Problem 1329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 91 364 0 82 0 0 0

N.S.

1 1.00 0.66 2.66 0.00 0.60 0.00 0.00 0.00

time (sec)

N/A 0.333 10.044 2.416 0.000 0.078 0.000 0.000 0.000

Problem 1330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 91 319 0 119 0 0 0

N.S.

1 1.00 0.66 2.33 0.00 0.87 0.00 0.00 0.00

time (sec)

N/A 0.335 10.044 2.362 0.000 0.123 0.000 0.000 0.000

Problem 1331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 192 99 547 0 250 0 0 0

N.S.

1 1.04 0.54 2.97 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.378 10.054 2.366 0.000 0.151 0.000 0.000 0.000

Problem 1332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 254 99 613 0 452 0 0 0

N.S.

1 1.10 0.43 2.65 0.00 1.96 0.00 0.00 0.00

time (sec)

N/A 0.455 10.054 2.810 0.000 0.232 0.000 0.000 0.000

Problem 1333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

279 249 110 703 0 166 0 0 0

N.S.

1 0.89 0.39 2.52 0.00 0.59 0.00 0.00 0.00

time (sec)

N/A 0.594 10.126 3.111 0.000 0.095 0.000 0.000 0.000

Problem 1334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 203 91 492 0 98 0 0 0

N.S.

1 0.86 0.39 2.08 0.00 0.42 0.00 0.00 0.00

time (sec)

N/A 0.490 10.035 2.706 0.000 0.089 0.000 0.000 0.000

Problem 1335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 190 91 325 0 104 0 0 0

N.S.

1 0.83 0.40 1.42 0.00 0.45 0.00 0.00 0.00

time (sec)

N/A 0.470 10.036 2.335 0.000 0.099 0.000 0.000 0.000

Problem 1336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

283 256 91 874 0 224 0 0 0

N.S.

1 0.90 0.32 3.09 0.00 0.79 0.00 0.00 0.00

time (sec)

N/A 0.542 10.045 2.497 0.000 0.100 0.000 0.000 0.000

Problem 1337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

274 286 161 642 0 292 0 0 0

N.S.

1 1.04 0.59 2.34 0.00 1.07 0.00 0.00 0.00

time (sec)

N/A 0.525 10.269 3.773 0.000 0.128 0.000 0.000 0.000

Problem 1338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

227 238 117 555 0 186 0 0 0

N.S.

1 1.05 0.52 2.44 0.00 0.82 0.00 0.00 0.00

time (sec)

N/A 0.434 10.065 2.474 0.000 0.113 0.000 0.000 0.000

Problem 1339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 190 99 486 0 119 0 0 0

N.S.

1 1.04 0.54 2.67 0.00 0.65 0.00 0.00 0.00

time (sec)

N/A 0.396 10.047 2.538 0.000 0.107 0.000 0.000 0.000

Problem 1340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 185 99 573 0 173 0 0 0

N.S.

1 1.06 0.57 3.29 0.00 0.99 0.00 0.00 0.00

time (sec)

N/A 0.373 10.043 3.919 0.000 0.098 0.000 0.000 0.000

Problem 1341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 185 107 533 0 194 0 0 0

N.S.

1 1.06 0.61 3.06 0.00 1.11 0.00 0.00 0.00

time (sec)

N/A 0.378 10.060 4.239 0.000 0.110 0.000 0.000 0.000

Problem 1342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 240 107 611 0 374 0 0 0

N.S.

1 1.09 0.48 2.76 0.00 1.69 0.00 0.00 0.00

time (sec)

N/A 0.460 10.057 4.692 0.000 0.115 0.000 0.000 0.000

Problem 1343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

268 302 107 677 0 620 0 0 0

N.S.

1 1.13 0.40 2.53 0.00 2.31 0.00 0.00 0.00

time (sec)

N/A 0.561 5.271 4.917 0.000 0.213 0.000 0.000 0.000

Problem 1344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

326 302 117 938 0 246 0 0 0

N.S.

1 0.93 0.36 2.88 0.00 0.75 0.00 0.00 0.00

time (sec)

N/A 0.630 10.107 3.000 0.000 0.143 0.000 0.000 0.000

Problem 1345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

281 256 99 700 0 149 0 0 0

N.S.

1 0.91 0.35 2.49 0.00 0.53 0.00 0.00 0.00

time (sec)

N/A 0.559 10.048 3.328 0.000 0.110 0.000 0.000 0.000

Problem 1346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

271 249 99 504 0 150 0 0 0

N.S.

1 0.92 0.37 1.86 0.00 0.55 0.00 0.00 0.00

time (sec)

N/A 0.546 10.045 3.389 0.000 0.092 0.000 0.000 0.000

Problem 1347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

273 238 99 893 0 182 0 0 0

N.S.

1 0.87 0.36 3.27 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.534 10.047 3.097 0.000 0.101 0.000 0.000 0.000

Problem 1348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

320 304 107 1161 0 350 0 0 0

N.S.

1 0.95 0.33 3.63 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 0.624 10.061 4.670 0.000 0.104 0.000 0.000 0.000

Problem 1349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

321 339 161 761 0 404 0 0 0

N.S.

1 1.06 0.50 2.37 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 0.591 10.270 5.923 0.000 0.153 0.000 0.000 0.000

Problem 1350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

274 291 117 642 0 275 0 0 0

N.S.

1 1.06 0.43 2.34 0.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.540 10.060 3.477 0.000 0.121 0.000 0.000 0.000

Problem 1351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 243 101 549 0 183 0 0 0

N.S.

1 1.06 0.44 2.40 0.00 0.80 0.00 0.00 0.00

time (sec)

N/A 0.459 10.091 2.680 0.000 0.120 0.000 0.000 0.000

Problem 1352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 238 101 1000 0 259 0 0 0

N.S.

1 1.09 0.46 4.57 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.439 10.051 4.327 0.000 0.104 0.000 0.000 0.000

Problem 1353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 233 109 646 0 299 0 0 0

N.S.

1 1.10 0.52 3.06 0.00 1.42 0.00 0.00 0.00

time (sec)

N/A 0.435 10.060 8.214 0.000 0.119 0.000 0.000 0.000

Problem 1354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 233 109 606 0 298 0 0 0

N.S.

1 1.10 0.52 2.87 0.00 1.41 0.00 0.00 0.00

time (sec)

N/A 0.437 10.058 5.230 0.000 0.111 0.000 0.000 0.000

Problem 1355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 288 109 684 0 521 0 0 0

N.S.

1 1.12 0.42 2.65 0.00 2.02 0.00 0.00 0.00

time (sec)

N/A 0.508 5.258 6.946 0.000 0.209 0.000 0.000 0.000

Problem 1356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

305 350 109 750 0 810 0 0 0

N.S.

1 1.15 0.36 2.46 0.00 2.66 0.00 0.00 0.00

time (sec)

N/A 0.633 5.170 6.341 0.000 0.353 0.000 0.000 0.000

Problem 1357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

373 355 117 1190 0 346 0 0 0

N.S.

1 0.95 0.31 3.19 0.00 0.93 0.00 0.00 0.00

time (sec)

N/A 0.735 10.121 4.489 0.000 0.106 0.000 0.000 0.000

Problem 1358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

328 309 101 924 0 221 0 0 0

N.S.

1 0.94 0.31 2.82 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.646 10.045 3.086 0.000 0.091 0.000 0.000 0.000

Problem 1359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

316 302 101 700 0 223 0 0 0

N.S.

1 0.96 0.32 2.22 0.00 0.71 0.00 0.00 0.00

time (sec)

N/A 0.645 10.043 3.617 0.000 0.094 0.000 0.000 0.000

Problem 1360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

310 297 101 1295 0 274 0 0 0

N.S.

1 0.96 0.33 4.18 0.00 0.88 0.00 0.00 0.00

time (sec)

N/A 0.630 10.051 6.430 0.000 0.115 0.000 0.000 0.000

Problem 1361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

310 286 109 1144 0 284 0 0 0

N.S.

1 0.92 0.35 3.69 0.00 0.92 0.00 0.00 0.00

time (sec)

N/A 0.610 10.064 4.912 0.000 0.169 0.000 0.000 0.000

Problem 1362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

357 352 109 1234 0 496 0 0 0

N.S.

1 0.99 0.31 3.46 0.00 1.39 0.00 0.00 0.00

time (sec)

N/A 0.710 10.068 5.693 0.000 0.179 0.000 0.000 0.000

Problem 1363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 180 166 488 0 131 0 0 0

N.S.

1 1.03 0.95 2.80 0.00 0.75 0.00 0.00 0.00

time (sec)

N/A 0.392 10.132 2.977 0.000 0.091 0.000 0.000 0.000

Problem 1364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 111 362 0 80 0 0 0

N.S.

1 1.00 0.84 2.74 0.00 0.61 0.00 0.00 0.00

time (sec)

N/A 0.340 10.085 3.001 0.000 0.093 0.000 0.000 0.000

Problem 1365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 89 189 0 42 0 0 0

N.S.

1 1.00 0.92 1.95 0.00 0.43 0.00 0.00 0.00

time (sec)

N/A 0.289 10.050 2.626 0.000 0.099 0.000 0.000 0.000

Problem 1366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 91 362 0 151 0 0 0

N.S.

1 1.00 0.63 2.51 0.00 1.05 0.00 0.00 0.00

time (sec)

N/A 0.346 10.043 3.087 0.000 0.094 0.000 0.000 0.000

Problem 1367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 206 99 556 0 306 0 0 0

N.S.

1 1.10 0.53 2.96 0.00 1.63 0.00 0.00 0.00

time (sec)

N/A 0.423 10.053 4.696 0.000 0.167 0.000 0.000 0.000

Problem 1368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

273 244 167 703 0 166 0 0 0

N.S.

1 0.89 0.61 2.58 0.00 0.61 0.00 0.00 0.00

time (sec)

N/A 0.557 10.147 3.425 0.000 0.130 0.000 0.000 0.000

Problem 1369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 196 111 496 0 109 0 0 0

N.S.

1 0.85 0.48 2.15 0.00 0.47 0.00 0.00 0.00

time (sec)

N/A 0.477 10.095 3.397 0.000 0.252 0.000 0.000 0.000

Problem 1370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 155 91 186 0 54 0 0 0

N.S.

1 0.79 0.47 0.95 0.00 0.28 0.00 0.00 0.00

time (sec)

N/A 0.416 10.043 2.425 0.000 0.089 0.000 0.000 0.000

Problem 1371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 208 89 336 0 125 0 0 0

N.S.

1 0.88 0.38 1.42 0.00 0.53 0.00 0.00 0.00

time (sec)

N/A 0.480 10.041 3.168 0.000 0.095 0.000 0.000 0.000

Problem 1372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 270 91 874 0 268 0 0 0

N.S.

1 0.94 0.32 3.05 0.00 0.93 0.00 0.00 0.00

time (sec)

N/A 0.578 10.049 4.316 0.000 0.099 0.000 0.000 0.000

Problem 1373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 76 118 0 31 0 0 0

N.S.

1 1.00 0.96 1.49 0.00 0.39 0.00 0.00 0.00

time (sec)

N/A 0.240 10.033 2.430 0.000 0.091 0.000 0.000 0.000

Problem 1374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 63 102 0 11 0 0 0

N.S.

1 1.00 1.24 2.00 0.00 0.22 0.00 0.00 0.00

time (sec)

N/A 0.205 10.028 2.449 0.000 0.122 0.000 0.000 0.000

Problem 1375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 65 142 0 54 0 0 0

N.S.

1 1.00 0.82 1.80 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.240 10.016 2.726 0.000 0.111 0.000 0.000 0.000

Problem 1376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 104 76 127 0 39 0 0 0

N.S.

1 0.81 0.59 0.99 0.00 0.30 0.00 0.00 0.00

time (sec)

N/A 0.315 10.029 2.392 0.000 0.094 0.000 0.000 0.000

Problem 1377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 78 65 105 0 14 0 0 0

N.S.

1 0.76 0.63 1.02 0.00 0.14 0.00 0.00 0.00

time (sec)

N/A 0.253 10.024 2.448 0.000 0.096 0.000 0.000 0.000

Problem 1378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 106 63 116 0 47 0 0 0

N.S.

1 0.83 0.49 0.91 0.00 0.37 0.00 0.00 0.00

time (sec)

N/A 0.288 10.026 2.696 0.000 0.082 0.000 0.000 0.000

Problem 1379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 217 172 569 0 262 0 0 0

N.S.

1 1.06 0.84 2.78 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.440 10.141 5.909 0.000 0.105 0.000 0.000 0.000

Problem 1380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 169 122 366 0 171 0 0 0

N.S.

1 1.04 0.75 2.26 0.00 1.06 0.00 0.00 0.00

time (sec)

N/A 0.381 10.091 5.944 0.000 0.102 0.000 0.000 0.000

Problem 1381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 88 194 0 97 0 0 0

N.S.

1 1.00 0.70 1.55 0.00 0.78 0.00 0.00 0.00

time (sec)

N/A 0.329 10.048 2.432 0.000 0.092 0.000 0.000 0.000

Problem 1382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 100 206 0 129 0 0 0

N.S.

1 1.00 0.73 1.50 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.348 10.057 4.646 0.000 0.102 0.000 0.000 0.000

Problem 1383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 200 98 365 0 330 0 0 0

N.S.

1 1.09 0.53 1.98 0.00 1.79 0.00 0.00 0.00

time (sec)

N/A 0.431 10.046 4.389 0.000 0.151 0.000 0.000 0.000

Problem 1384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 233 122 498 0 199 0 0 0

N.S.

1 0.90 0.47 1.93 0.00 0.77 0.00 0.00 0.00

time (sec)

N/A 0.546 10.110 4.911 0.000 0.126 0.000 0.000 0.000

Problem 1385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 181 88 323 0 123 0 0 0

N.S.

1 0.83 0.40 1.47 0.00 0.56 0.00 0.00 0.00

time (sec)

N/A 0.475 10.057 2.908 0.000 0.097 0.000 0.000 0.000

Problem 1386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 205 98 332 0 135 0 0 0

N.S.

1 0.89 0.42 1.44 0.00 0.58 0.00 0.00 0.00

time (sec)

N/A 0.479 10.042 2.431 0.000 0.093 0.000 0.000 0.000

Problem 1387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

274 264 96 339 0 248 0 0 0

N.S.

1 0.96 0.35 1.24 0.00 0.91 0.00 0.00 0.00

time (sec)

N/A 0.579 10.043 4.380 0.000 0.100 0.000 0.000 0.000

Problem 1388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

325 326 98 876 0 517 0 0 0

N.S.

1 1.00 0.30 2.70 0.00 1.59 0.00 0.00 0.00

time (sec)

N/A 0.652 10.050 4.689 0.000 0.119 0.000 0.000 0.000

Problem 1389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

247 258 252 1473 0 424 0 0 0

N.S.

1 1.04 1.02 5.96 0.00 1.72 0.00 0.00 0.00

time (sec)

N/A 0.493 10.219 10.738 0.000 0.198 0.000 0.000 0.000

Problem 1390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 208 179 657 0 297 0 0 0

N.S.

1 1.06 0.91 3.35 0.00 1.52 0.00 0.00 0.00

time (sec)

N/A 0.435 10.142 9.586 0.000 0.268 0.000 0.000 0.000

Problem 1391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 166 122 479 0 185 0 0 0

N.S.

1 1.01 0.74 2.90 0.00 1.12 0.00 0.00 0.00

time (sec)

N/A 0.373 10.089 5.672 0.000 0.096 0.000 0.000 0.000

Problem 1392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 178 129 487 0 222 0 0 0

N.S.

1 1.03 0.75 2.82 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.386 10.112 2.632 0.000 0.105 0.000 0.000 0.000

Problem 1393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 197 132 491 0 264 0 0 0

N.S.

1 1.05 0.71 2.63 0.00 1.41 0.00 0.00 0.00

time (sec)

N/A 0.415 10.118 6.367 0.000 0.102 0.000 0.000 0.000

Problem 1394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

228 258 99 664 0 597 0 0 0

N.S.

1 1.13 0.43 2.91 0.00 2.62 0.00 0.00 0.00

time (sec)

N/A 0.489 10.056 5.364 0.000 0.193 0.000 0.000 0.000

Problem 1395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

299 274 180 1328 0 362 0 0 0

N.S.

1 0.92 0.60 4.44 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.598 10.151 10.272 0.000 0.151 0.000 0.000 0.000

Problem 1396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 222 122 859 0 230 0 0 0

N.S.

1 0.86 0.47 3.33 0.00 0.89 0.00 0.00 0.00

time (sec)

N/A 0.514 10.088 5.024 0.000 0.127 0.000 0.000 0.000

Problem 1397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

264 244 116 871 0 283 0 0 0

N.S.

1 0.92 0.44 3.30 0.00 1.07 0.00 0.00 0.00

time (sec)

N/A 0.550 10.079 4.632 0.000 0.092 0.000 0.000 0.000

Problem 1398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

278 263 99 866 0 300 0 0 0

N.S.

1 0.95 0.36 3.12 0.00 1.08 0.00 0.00 0.00

time (sec)

N/A 0.573 10.044 2.342 0.000 0.113 0.000 0.000 0.000

Problem 1399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

325 324 97 877 0 514 0 0 0

N.S.

1 1.00 0.30 2.70 0.00 1.58 0.00 0.00 0.00

time (sec)

N/A 0.652 10.048 5.397 0.000 0.131 0.000 0.000 0.000

Problem 1400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 182 125 285 0 147 0 0 0

N.S.

1 1.07 0.74 1.68 0.00 0.86 0.00 0.00 0.00

time (sec)

N/A 0.393 10.091 2.933 0.000 0.134 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]